退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过抽象解释矩阵处理程序的功能正确性进行静态分析
Journault, Matthieu; Miné, Antoine;
机译:通过抽象解释推断矩阵处理程序的功能属性
机译:静态型分析通过抽象解释Python计划
机译:通过抽象解释进行静态分析:一种数学编程方法
机译:用抽象解释矩阵处理程序的功能正确性进行静态分析
机译:证明堆操作程序正确性的自动技术。
机译:摘要:矫正过度矫正的妇科畸形-一种使用堆积的脱细胞真皮基质的新技术
机译:基于抽象程序表示的静态分析
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。